$\vdash$  $\forall$$P$:$\mathbb{P}$. SqStable($P$) $\Rightarrow$ (($\downarrow$$P$) $\Leftarrow\!\Rightarrow$ $P$)